package logicaDePredicados;

public class LogicQuantifier extends PredicateLogic {
	
	private boolean isExistencial=false;
	private boolean isEssential=false;
	
	public LogicQuantifier (boolean isExistencial){
		if (isExistencial){
			
		setName("Exists" );
		this.isEssential=false;
		this.isExistencial=true;
		
		}else{
			setName("ForAll" );
			this.isEssential=true;
			this.isExistencial=false;
				
		}
	}
	
	/**
	 * @return the isExistencial
	 */
	public boolean isExistencial() {
		return isExistencial;
	}
	
	/**
	 * @return the isEssential
	 */
	public boolean isEssential() {
		return isEssential;
	}
	
}
